According to OpenAI, researchers detail how a model found a counterexample to an 80-year-old Erdős conjecture and outline human AI collaboration.